[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 74 61 60 60 68 64 62

N.S.

1 1.00 1.00 0.82 0.81 0.81 0.92 0.86 0.84

time (sec)

N/A 0.055 0.013 0.112 0.187 0.241 0.021 0.292 0.020

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 74 61 60 60 68 64 62

N.S.

1 1.00 1.00 0.82 0.81 0.81 0.92 0.86 0.84

time (sec)

N/A 0.039 0.010 0.104 0.204 0.265 0.020 0.288 0.016

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 57 57 65 61 59

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.94 0.88 0.86

time (sec)

N/A 0.023 0.012 0.064 0.191 0.322 0.026 0.300 0.016

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 65 58 55 55 63 60 57

N.S.

1 1.00 1.00 0.89 0.85 0.85 0.97 0.92 0.88

time (sec)

N/A 0.026 0.014 0.030 0.183 0.248 0.070 0.292 0.020

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 57 55 62 58 57 56

N.S.

1 1.00 1.00 0.90 0.87 0.98 0.92 0.90 0.89

time (sec)

N/A 0.033 0.018 0.034 0.191 0.243 0.078 0.315 0.021

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 58 58 55 62 61 58 56

N.S.

1 1.00 0.92 0.92 0.87 0.98 0.97 0.92 0.89

time (sec)

N/A 0.033 0.029 0.036 0.241 0.265 0.154 0.299 0.019

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 60 55 56 62 63 56 55

N.S.

1 1.00 0.95 0.87 0.89 0.98 1.00 0.89 0.87

time (sec)

N/A 0.035 0.032 0.035 0.244 0.247 0.303 0.355 0.018

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 62 56 56 62 63 57 56

N.S.

1 1.00 0.98 0.89 0.89 0.98 1.00 0.90 0.89

time (sec)

N/A 0.034 0.021 0.036 0.233 0.270 0.962 0.304 0.025

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 56 56 62 66 57 56

N.S.

1 1.00 1.00 0.89 0.89 0.98 1.05 0.90 0.89

time (sec)

N/A 0.033 0.040 0.034 0.210 0.254 2.701 0.305 7.909

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 68 59 59 62 70 60 60

N.S.

1 1.00 1.00 0.87 0.87 0.91 1.03 0.88 0.88

time (sec)

N/A 0.031 0.036 0.036 0.209 0.247 8.313 0.294 7.867

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 159 142 143 143 168 154 141

N.S.

1 1.00 1.00 0.89 0.90 0.90 1.06 0.97 0.89

time (sec)

N/A 0.153 0.036 0.118 0.204 0.273 0.030 0.386 7.975

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 159 142 143 143 163 154 141

N.S.

1 1.00 1.00 0.89 0.90 0.90 1.03 0.97 0.89

time (sec)

N/A 0.097 0.028 0.120 0.189 0.254 0.029 0.289 0.056

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 154 139 140 140 165 151 138

N.S.

1 1.00 1.00 0.90 0.91 0.91 1.07 0.98 0.90

time (sec)

N/A 0.071 0.023 0.142 0.187 0.252 0.032 0.291 0.055

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 150 138 138 138 156 149 135

N.S.

1 1.00 1.00 0.92 0.92 0.92 1.04 0.99 0.90

time (sec)

N/A 0.074 0.030 0.039 0.196 0.252 0.135 0.297 7.863

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 145 142 137 145 156 147 135

N.S.

1 1.00 1.00 0.98 0.94 1.00 1.08 1.01 0.93

time (sec)

N/A 0.082 0.066 0.049 0.184 0.256 0.139 0.300 0.059

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 139 140 139 145 153 148 135

N.S.

1 1.00 0.93 0.94 0.93 0.97 1.03 0.99 0.91

time (sec)

N/A 0.083 0.076 0.048 0.197 0.263 0.232 0.358 0.053

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 151 141 140 145 160 146 137

N.S.

1 1.00 1.01 0.95 0.94 0.97 1.07 0.98 0.92

time (sec)

N/A 0.093 0.061 0.046 0.179 0.257 0.402 0.282 0.034

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 130 139 139 145 153 142 134

N.S.

1 1.00 0.88 0.94 0.94 0.98 1.03 0.96 0.91

time (sec)

N/A 0.089 0.065 0.046 0.193 0.243 1.325 0.300 0.033

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 142 135 138 145 155 140 136

N.S.

1 1.00 0.99 0.94 0.97 1.01 1.08 0.98 0.95

time (sec)

N/A 0.099 0.057 0.049 0.189 0.254 3.945 0.301 0.031

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 144 136 140 145 158 141 136

N.S.

1 1.00 0.97 0.91 0.94 0.97 1.06 0.95 0.91

time (sec)

N/A 0.094 0.066 0.044 0.192 0.278 28.254 0.293 7.869

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

339 339 460 118 0 0 0 5304 2588

N.S.

1 1.00 1.36 0.35 0.00 0.00 0.00 15.65 7.63

time (sec)

N/A 1.048 0.363 0.120 0.000 0.000 0.000 1.415 7.917

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

278 278 377 86 0 1329593 0 3519 2696

N.S.

1 1.00 1.36 0.31 0.00 4782.71 0.00 12.66 9.70

time (sec)

N/A 0.294 0.263 0.103 0.000 61.661 0.000 1.315 8.366

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 270 360 71 0 861800 0 3843 1890

N.S.

1 1.00 1.33 0.26 0.00 3191.85 0.00 14.23 7.00

time (sec)

N/A 0.553 0.235 0.099 0.000 57.378 0.000 1.470 8.511

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 240 52 0 845032 0 2368 5594

N.S.

1 1.00 1.08 0.23 0.00 3789.38 0.00 10.62 25.09

time (sec)

N/A 0.151 0.222 0.073 0.000 13.964 0.000 1.460 8.370

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 234 48 0 578003 0 1714 3942

N.S.

1 1.00 1.11 0.23 0.00 2739.35 0.00 8.12 18.68

time (sec)

N/A 0.161 0.131 0.053 0.000 29.860 0.000 1.294 8.749

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 285 251 0 0 0 2339 2258

N.S.

1 1.00 1.24 1.10 0.00 0.00 0.00 10.21 9.86

time (sec)

N/A 0.172 0.285 0.102 0.000 0.000 0.000 1.428 8.368

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

260 260 315 325 0 0 0 3505 2588

N.S.

1 1.00 1.21 1.25 0.00 0.00 0.00 13.48 9.95

time (sec)

N/A 0.310 0.695 0.112 0.000 0.000 0.000 1.566 8.160

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

288 288 377 300 0 0 0 3353 3563

N.S.

1 1.00 1.31 1.04 0.00 0.00 0.00 11.64 12.37

time (sec)

N/A 0.334 0.550 0.142 0.000 0.000 0.000 1.490 8.141

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

412 412 444 249 0 0 0 5217 4754

N.S.

1 1.00 1.08 0.60 0.00 0.00 0.00 12.66 11.54

time (sec)

N/A 0.868 0.859 0.131 0.000 0.000 0.000 1.863 8.513

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 347 358 213 0 0 0 3227 3278

N.S.

1 1.00 1.03 0.61 0.00 0.00 0.00 9.30 9.45

time (sec)

N/A 0.416 0.569 0.106 0.000 0.000 0.000 1.222 8.495

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 378 204 0 0 0 4438 3835

N.S.

1 1.00 1.06 0.57 0.00 0.00 0.00 12.47 10.77

time (sec)

N/A 0.578 0.646 0.112 0.000 0.000 0.000 1.593 8.491

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

317 317 335 198 0 0 0 3014 3198

N.S.

1 1.00 1.06 0.62 0.00 0.00 0.00 9.51 10.09

time (sec)

N/A 0.290 0.795 0.273 0.000 0.000 0.000 1.240 8.311

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

368 368 393 232 0 0 0 5156 4707

N.S.

1 1.00 1.07 0.63 0.00 0.00 0.00 14.01 12.79

time (sec)

N/A 0.551 0.749 0.247 0.000 0.000 0.000 1.590 8.399

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

403 403 458 566 0 0 0 6021 8129

N.S.

1 1.00 1.14 1.40 0.00 0.00 0.00 14.94 20.17

time (sec)

N/A 0.606 0.946 0.180 0.000 0.000 0.000 1.646 8.529

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

514 514 559 667 0 0 0 9013 8684

N.S.

1 1.00 1.09 1.30 0.00 0.00 0.00 17.54 16.89

time (sec)

N/A 0.972 1.185 0.229 0.000 0.000 0.000 2.076 8.872

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

534 534 655 778 0 0 0 6939 10595

N.S.

1 1.00 1.23 1.46 0.00 0.00 0.00 12.99 19.84

time (sec)

N/A 1.274 1.495 0.253 0.000 0.000 0.000 1.718 9.009

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

399 399 296 5520 611 3898 47658 7808 2443

N.S.

1 1.00 0.74 13.83 1.53 9.77 119.44 19.57 6.12

time (sec)

N/A 0.281 2.096 0.413 0.260 0.379 3.032 0.404 9.254

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

260 260 185 2187 344 1603 16323 3203 1314

N.S.

1 1.00 0.71 8.41 1.32 6.17 62.78 12.32 5.05

time (sec)

N/A 0.158 0.982 0.181 0.229 0.329 1.424 0.373 8.386

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 137 90 136 155 444 3628 914 527

N.S.

1 1.00 0.66 0.99 1.13 3.24 26.48 6.67 3.85

time (sec)

N/A 0.065 0.326 0.081 0.218 0.300 0.626 0.381 7.950

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

368 368 438 0 0 0 0 0 0

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.424 2.256 0.000 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

685 670 242 0 0 0 0 0 0

N.S.

1 0.98 0.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.644 2.284 0.000 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 378 204 0 0 0 4438 3835

N.S.

1 1.00 1.06 0.57 0.00 0.00 0.00 12.47 10.77

time (sec)

N/A 0.622 0.667 0.000 0.000 0.000 0.000 1.683 0.002

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 378 204 0 0 0 4438 3835

N.S.

1 1.00 1.06 0.57 0.00 0.00 0.00 12.47 10.77

time (sec)

N/A 0.286 0.109 0.094 0.000 0.000 0.000 1.689 8.213

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 378 204 0 0 0 4438 3835

N.S.

1 1.00 1.06 0.57 0.00 0.00 0.00 12.47 10.77

time (sec)

N/A 0.286 0.103 0.089 0.000 0.000 0.000 1.512 8.127

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 378 204 0 0 0 4438 3835

N.S.

1 1.00 1.06 0.57 0.00 0.00 0.00 12.47 10.77

time (sec)

N/A 0.298 0.102 0.090 0.000 0.000 0.000 1.417 8.194

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F(-1) F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

356 356 378 204 0 0 0 4438 3835

N.S.

1 1.00 1.06 0.57 0.00 0.00 0.00 12.47 10.77

time (sec)

N/A 0.297 0.103 0.088 0.000 0.000 0.000 1.497 8.304

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 273 260 330 0 900 0 297 2972

N.S.

1 1.00 0.95 1.21 0.00 3.30 0.00 1.09 10.89

time (sec)

N/A 0.549 0.126 0.250 0.000 0.582 0.000 0.633 8.519

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 193 224 0 677 0 208 2295

N.S.

1 1.00 0.95 1.10 0.00 3.33 0.00 1.02 11.31

time (sec)

N/A 0.270 0.085 0.223 0.000 0.500 0.000 0.612 8.368

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 136 146 0 473 0 137 1689

N.S.

1 1.00 0.94 1.01 0.00 3.28 0.00 0.95 11.73

time (sec)

N/A 0.184 0.061 0.231 0.000 0.368 0.000 0.668 8.383

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 100 101 0 318 0 97 1081

N.S.

1 1.00 0.97 0.98 0.00 3.09 0.00 0.94 10.50

time (sec)

N/A 0.118 0.043 0.138 0.000 0.343 0.000 0.641 8.831

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 178 99 0 309 0 96 3927

N.S.

1 1.00 1.84 1.02 0.00 3.19 0.00 0.99 40.48

time (sec)

N/A 0.136 0.093 0.085 0.000 0.490 0.000 0.649 13.214

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 203 132 0 399 0 131 4437

N.S.

1 1.00 1.72 1.12 0.00 3.38 0.00 1.11 37.60

time (sec)

N/A 0.184 0.093 0.095 0.000 0.546 0.000 0.631 12.759

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 314 203 0 609 0 206 6187

N.S.

1 1.00 1.80 1.17 0.00 3.50 0.00 1.18 35.56

time (sec)

N/A 0.257 0.216 0.123 0.000 0.815 0.000 0.573 14.765

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 416 294 0 834 0 303 9141

N.S.

1 1.00 1.70 1.20 0.00 3.42 0.00 1.24 37.46

time (sec)

N/A 0.359 0.218 0.154 0.000 1.674 0.000 0.606 17.782

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 369 456 164 0 15467 0 7235 23332

N.S.

1 1.00 1.24 0.44 0.00 41.92 0.00 19.61 63.23

time (sec)

N/A 3.077 0.361 0.110 0.000 39.652 0.000 1.157 10.502

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

282 282 365 100 0 9364 0 5454 15674

N.S.

1 1.00 1.29 0.35 0.00 33.21 0.00 19.34 55.58

time (sec)

N/A 2.320 0.326 0.092 0.000 8.913 0.000 1.086 9.699

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 258 68 0 5788 0 4082 10209

N.S.

1 1.00 1.18 0.31 0.00 26.43 0.00 18.64 46.62

time (sec)

N/A 0.392 0.198 0.077 0.000 4.341 0.000 0.998 9.697

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 253 220 0 5930 0 3984 10170

N.S.

1 1.00 1.19 1.03 0.00 27.84 0.00 18.70 47.75

time (sec)

N/A 0.559 0.189 0.106 0.000 1.663 0.000 1.364 9.773

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 267 284 244 0 9850 0 3804 15505

N.S.

1 1.00 1.06 0.91 0.00 36.89 0.00 14.25 58.07

time (sec)

N/A 0.684 0.213 0.122 0.000 11.664 0.000 0.987 10.739

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 329 394 360 0 15830 0 6710 23019

N.S.

1 1.00 1.20 1.09 0.00 48.12 0.00 20.40 69.97

time (sec)

N/A 1.229 0.342 0.140 0.000 45.944 0.000 1.350 11.573

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 309 432 0 2111 0 415 3499

N.S.

1 1.00 0.97 1.35 0.00 6.60 0.00 1.30 10.93

time (sec)

N/A 0.829 0.311 0.357 0.000 0.526 0.000 0.633 0.939

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 236 236 309 0 1455 0 271 2450

N.S.

1 1.00 1.00 1.31 0.00 6.17 0.00 1.15 10.38

time (sec)

N/A 0.296 0.225 0.237 0.000 0.353 0.000 0.584 8.790

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 175 228 0 970 0 191 1651

N.S.

1 1.00 1.06 1.38 0.00 5.88 0.00 1.16 10.01

time (sec)

N/A 0.190 0.158 0.213 0.000 0.325 0.000 0.615 9.658

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 130 139 0 650 0 137 342

N.S.

1 1.00 1.06 1.13 0.00 5.28 0.00 1.11 2.78

time (sec)

N/A 0.122 0.065 0.108 0.000 0.288 0.000 0.524 0.236

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 268 228 0 1103 0 224 8706

N.S.

1 1.00 1.61 1.37 0.00 6.64 0.00 1.35 52.45

time (sec)

N/A 0.258 0.304 0.136 0.000 0.968 0.000 0.569 16.310

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 403 316 0 1764 0 280 11879

N.S.

1 1.00 1.72 1.35 0.00 7.54 0.00 1.20 50.76

time (sec)

N/A 0.487 0.422 0.168 0.000 2.081 0.000 0.587 17.156

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 329 592 466 0 2567 0 521 15905

N.S.

1 1.00 1.80 1.42 0.00 7.80 0.00 1.58 48.34

time (sec)

N/A 0.771 0.774 0.234 0.000 4.471 0.000 0.579 24.981

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

550 550 648 323 0 18909 0 8946 33799

N.S.

1 1.00 1.18 0.59 0.00 34.38 0.00 16.27 61.45

time (sec)

N/A 9.599 1.280 0.168 0.000 80.289 0.000 2.029 10.441

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

436 436 511 242 0 12597 0 7479 25862

N.S.

1 1.00 1.17 0.56 0.00 28.89 0.00 17.15 59.32

time (sec)

N/A 3.493 0.921 0.125 0.000 23.673 0.000 1.777 1.559

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 362 414 200 0 8951 0 6200 19494

N.S.

1 1.00 1.14 0.55 0.00 24.73 0.00 17.13 53.85

time (sec)

N/A 1.664 0.663 0.135 0.000 13.281 0.000 1.517 12.240

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 346 382 200 0 8991 0 6348 19589

N.S.

1 1.00 1.10 0.58 0.00 25.99 0.00 18.35 56.62

time (sec)

N/A 1.177 0.655 0.117 0.000 11.610 0.000 1.288 12.155

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

399 399 444 438 0 13111 0 7173 28164

N.S.

1 1.00 1.11 1.10 0.00 32.86 0.00 17.98 70.59

time (sec)

N/A 1.391 0.764 0.193 0.000 27.996 0.000 1.438 12.193

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

575 575 548 570 0 19333 0 8649 36097

N.S.

1 1.00 0.95 0.99 0.00 33.62 0.00 15.04 62.78

time (sec)

N/A 6.838 1.092 0.206 0.000 88.785 0.000 1.649 12.499

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 62 56 58 82 61 63 57

N.S.

1 1.00 0.91 0.82 0.85 1.21 0.90 0.93 0.84

time (sec)

N/A 0.089 0.022 0.086 0.189 0.241 0.080 0.274 0.036

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 51 53 77 56 58 53

N.S.

1 1.00 1.00 0.84 0.87 1.26 0.92 0.95 0.87

time (sec)

N/A 0.073 0.022 0.079 0.180 0.256 0.067 0.279 0.024

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 46 48 72 48 53 47

N.S.

1 1.00 1.00 0.85 0.89 1.33 0.89 0.98 0.87

time (sec)

N/A 0.071 0.017 0.088 0.186 0.258 0.067 0.376 0.022

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 41 43 67 44 45 43

N.S.

1 1.00 1.00 0.84 0.88 1.37 0.90 0.92 0.88

time (sec)

N/A 0.056 0.018 0.063 0.181 0.253 0.069 0.293 8.487

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 36 38 57 36 40 37

N.S.

1 1.00 1.00 0.86 0.90 1.36 0.86 0.95 0.88

time (sec)

N/A 0.035 0.014 0.065 0.185 0.252 0.065 0.304 0.029

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 44 38 44 71 41 47 40

N.S.

1 1.00 1.00 0.86 1.00 1.61 0.93 1.07 0.91

time (sec)

N/A 0.053 0.015 0.074 0.190 0.251 0.072 0.291 0.025

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 50 45 53 92 51 53 50

N.S.

1 1.00 0.91 0.82 0.96 1.67 0.93 0.96 0.91

time (sec)

N/A 0.070 0.018 0.081 0.187 0.255 0.086 0.300 8.523

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 56 50 56 97 56 66 55

N.S.

1 1.00 0.88 0.78 0.88 1.52 0.88 1.03 0.86

time (sec)

N/A 0.075 0.020 0.082 0.192 0.255 0.087 0.296 0.026

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 71 56 58 79 68 58 58

N.S.

1 1.00 1.01 0.80 0.83 1.13 0.97 0.83 0.83

time (sec)

N/A 0.061 0.034 0.110 0.274 0.257 0.092 0.311 0.035

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 58 49 51 74 54 51 50

N.S.

1 1.00 1.02 0.86 0.89 1.30 0.95 0.89 0.88

time (sec)

N/A 0.049 0.031 0.112 0.279 0.254 0.100 0.315 0.032

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 57 46 48 69 54 48 48

N.S.

1 1.00 1.02 0.82 0.86 1.23 0.96 0.86 0.86

time (sec)

N/A 0.048 0.029 0.104 0.275 0.249 0.091 0.317 0.029

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 50 41 43 64 48 43 42

N.S.

1 1.00 1.02 0.84 0.88 1.31 0.98 0.88 0.86

time (sec)

N/A 0.044 0.027 0.089 0.266 0.259 0.089 0.317 0.039

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 46 38 40 59 46 40 40

N.S.

1 1.00 0.96 0.79 0.83 1.23 0.96 0.83 0.83

time (sec)

N/A 0.018 0.028 0.088 0.273 0.246 0.087 0.294 0.045

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 51 43 45 68 49 45 45

N.S.

1 1.00 0.96 0.81 0.85 1.28 0.92 0.85 0.85

time (sec)

N/A 0.049 0.034 0.116 0.266 0.268 0.096 0.292 0.045

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 56 48 52 79 56 52 51

N.S.

1 1.00 0.90 0.77 0.84 1.27 0.90 0.84 0.82

time (sec)

N/A 0.054 0.038 0.121 0.268 0.255 0.102 0.300 8.507

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 61 53 57 84 61 57 57

N.S.

1 1.00 0.88 0.77 0.83 1.22 0.88 0.83 0.83

time (sec)

N/A 0.060 0.041 0.134 0.273 0.254 0.109 0.286 0.047

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 77 58 62 89 66 62 61

N.S.

1 1.00 1.01 0.76 0.82 1.17 0.87 0.82 0.80

time (sec)

N/A 0.062 0.039 0.139 0.281 0.253 0.116 0.386 8.742

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 71 61 71 114 75 61 70

N.S.

1 1.00 0.88 0.75 0.88 1.41 0.93 0.75 0.86

time (sec)

N/A 0.072 0.042 0.127 0.262 0.244 0.110 0.288 9.143

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 66 58 68 109 76 58 68

N.S.

1 1.00 0.82 0.72 0.85 1.36 0.95 0.72 0.85

time (sec)

N/A 0.064 0.040 0.120 0.270 0.261 0.107 0.283 0.032

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 60 53 63 104 70 53 63

N.S.

1 1.00 0.80 0.71 0.84 1.39 0.93 0.71 0.84

time (sec)

N/A 0.060 0.040 0.107 0.271 0.255 0.109 0.308 0.040

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 55 50 60 99 65 50 59

N.S.

1 1.00 0.76 0.69 0.83 1.38 0.90 0.69 0.82

time (sec)

N/A 0.052 0.042 0.101 0.267 0.260 0.111 0.277 8.562

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 56 50 60 99 66 50 60

N.S.

1 1.00 0.78 0.69 0.83 1.38 0.92 0.69 0.83

time (sec)

N/A 0.047 0.042 0.095 0.277 0.246 0.109 0.292 0.045

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 56 50 60 99 65 50 59

N.S.

1 1.00 0.78 0.69 0.83 1.38 0.90 0.69 0.82

time (sec)

N/A 0.024 0.040 0.101 0.268 0.251 0.106 0.289 0.046

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 63 56 65 108 71 55 65

N.S.

1 1.00 0.80 0.71 0.82 1.37 0.90 0.70 0.82

time (sec)

N/A 0.067 0.050 0.133 0.270 0.255 0.120 0.298 8.839

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 78 61 72 119 76 62 71

N.S.

1 1.00 0.91 0.71 0.84 1.38 0.88 0.72 0.83

time (sec)

N/A 0.080 0.040 0.134 0.272 0.258 0.124 0.286 0.048

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 73 66 77 124 82 67 77

N.S.

1 1.00 0.78 0.71 0.83 1.33 0.88 0.72 0.83

time (sec)

N/A 0.088 0.053 0.154 0.269 0.256 0.130 0.296 0.054

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 78 71 71 95 87 76 75

N.S.

1 1.00 0.91 0.83 0.83 1.10 1.01 0.88 0.87

time (sec)

N/A 0.091 0.032 0.067 0.276 0.246 0.079 0.439 0.038

[next] [front] [up]